Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Все значения словосочетания «математическая логика»Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов.
На рубеже XIX–XX вв. началось бурное развитие математической логики.
Учёный хотел решить сложную задачу с помощью математической логики.